#include "../userprog/syscall.h"

void main(){
char* execName;
int nameLen;
execName = "../test/movietechnician";
nameLen = 17;
Exec(execName, nameLen);
}